|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Extension interface to |DocumentPartitioningListener
. Replaces the previous concepts.
Method Summary | |
void |
documentPartitioningChanged(DocumentPartitioningChangedEvent event)
Signals the change of document partitionings. |
Method Detail |
public void documentPartitioningChanged(DocumentPartitioningChangedEvent event)
event
- the event describing the changeIDocument.addDocumentPartitioningListener(org.eclipse.jface.text.IDocumentPartitioningListener)
|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |